(define (loop) (loop))
(define main (loop))
